Electronic Books

Total Books: 161 - 180 /180
978-0-306-48736-1
System-Level Design Techniques for Energy-Efficient Embedded Systems

System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis ...

Continue reading
978-3-030-64881-7
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Continue reading
978-3-540-69927-9
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

Continue reading
978-3-030-45190-5
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Continue reading
978-3-030-45237-7
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Continue reading
978-3-030-72016-2
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Continue reading
978-3-030-72013-1
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Continue reading
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Continue reading
978-0-387-26233-8
Transaction-Level Modeling with SystemC

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

Continue reading
978-3-540-79299-4
Transactions on Computational Science I

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

Continue reading
978-3-540-71528-3
Transactions on High-Performance Embedded Architectures and Compilers I

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...

Continue reading
978-0-387-74935-8
Trends in Intelligent Systems and Computer Engineering

This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...

Continue reading
978-3-540-31797-5
UML Modeling Languages and Applications

This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...

Continue reading
978-3-540-31941-2
UbiComp 2005: Ubiquitous Computing

Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan ...

Continue reading
978-3-540-39635-2
UbiComp 2006: Ubiquitous Computing

This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...

Continue reading
978-3-540-74853-3
UbiComp 2007: Ubiquitous Computing

The Ubiquitous Computing conference series provides the premier forum in which to present original research results in all ...

Continue reading
978-3-540-76772-5
Ubiquitous Computing Systems

UCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...

Continue reading
978-3-540-31809-5
Ubiquitous Computing Systems (vol. # 3598)

This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo. The submitted papers presented ...

Continue reading
978-3-540-71789-8
Ubiquitous Convergence Technology

Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects ...

Continue reading
978-0-387-74516-9
Wireless Transceiver Systems Design

This book illustrates true cross-disciplinary electronic system-level design with examples in algorithm-architecture co-design, ...

Continue reading
Total Books: 161 - 180 /180